The Stone–Čech compactification of locales, III

On the Reductive Borel-serre Compactification, Iii: Mixed Hodge Structures

We establish a procedure for constructing compatible mixed Hodge structures for the cohomology of various topological compactifications of locally symmetric varieties, notably ones that are not algebraic varieties. This is carried out in full for the case of the reductive Borel-Serre compactification, and conditionally for the excentric compactifications. Introduction. In [BS], Borel and Serre ...

investigation of the electronic properties of carbon and iii-v nanotubes

boron nitride semiconducting zigzag swcnt, $b_{cb}$$n_{cn}$$c_{1-cb-cn}$, as a potential candidate for making nanoelectronic devices was examined. in contrast to the previous dft calculations, wherein just one boron and nitrogen doping configuration have been considered, here for the average over all possible configurations, density of states (dos) was calculated in terms of boron and nitrogen ...

Interpretation of Locales in Isabelle: Managing Dependencies between Locales

Locales are the theory development modules of the Isabelle proof assistant. Interpretation is a powerful technique of theorem reuse which facilitates their automatic transport to other contexts. This paper is concerned with the interpretation of locales in the context of other locales. Our main concern is to make interpretation an effective tool in an interactive proof environment. Interpretati...

Ii Locales

This chapter is an introduction to the basic concepts, constructions, and results concerning locales. Locales (frames) are the object of study of the so called pointfree topology. They sufficiently resemble the lattices of open sets of topological spaces to allow the treatment of many topological questions. One motivation for the theory of locales is building topology on the intuition of “place...

Compactification of κ-Frames